On Proofs Without Words
نویسندگان
چکیده
Most mathematicians will be familiar with the above picture. This diagram, credited to the Ancient Chinese mathematical text Zhou Bi Suan Jing, is a charmingly simple visual proof of the Pythagorean Theorem, one of mathematics’ most fundamental results. It would be hard to argue that this proof is not convincing. In fact, most standard proofs of the Pythagorean Theorem still use this picture, or variations of it. In this paper, we will examine pictures, such as this one, which claim to prove mathematical theorems and have come to be known as “Proofs Without Words”, or PWWs. This paper will have two main parts. In the first part, we will present collection of PWWs accompanied by explanations. Essentially we will be putting the words back into these “Proofs Without Words” by explicitly stating what our brains are seeing, and how we are supposed to reach the intended conclusions given only the visual clues contained in the figure. In addition, where appropriate, we will include “parallel proofs”, which are more traditional proofs of the same results portrayed by the PWWs. The aim of this is to see the differences between formal logical structure, and the logic that our brains will follow given visual information. The second part will examine what it actually means to “prove” a result, whether Proofs Without Words satisfy this definition, and if they do not, what value they have for mathematics. Any textbook will tell you that a proof is a series of statements that show how a new statement is true by using logic and statements that are already known to
منابع مشابه
Impossibility Proofs and Quantum Bit Commitment
The nature and scope of various impossibility proofs as they relate to real-world situations are discussed. In particular, it is shown in words without technical symbols how secure quantum bit commitment protocols may be obtained with testing that exploits the multiple possibilities of cheating entanglement formation.
متن کاملIntroduction to My Book "Essays in Constructive Mathematics"
The point of view of the book derives from Leopold Kronecker (1823-1891), whose views were quite consonant with those of MAP. Kronecker resisted the overthrow of the Aristotelian (and Gaussian) prohibition of completed infinites on the ground that the overthrow was unnecessary. In other words, he committed himself to doing mathematics without completed infinites, basing his work on algorithmic ...
متن کاملThe logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کاملتأملی نو در نظریه عینیت ذات و صفات الهی
Critical investigation of Identity of essence and attributes of GodThe quality of the relationship between essence and attributes of God is one of the most important issues among islamic thinkers. One of the most important theories in this field is the theory of Identity of essence and attributes of God that divided in turn into two branches,I mean, external identification and conceptual ...
متن کاملRemarks on Adult Languages of Propagating Systems with Restricted Parallelism
abstract Various rewriting mechanisms can be thought of as functions mapping words w to nite sets of words W. The adult language of (; !) is the set of words w which are xed points of , i.e. (w) = fwg, and reachable from a start word or axiom !, i.e. w 2 n (!) for some n 2 N 0. Interestingly, for systems without the table mechanism, the degree of parallelism does not aaect the generative capaci...
متن کامل